Compiler Organization

• Compiler Overview
• The Implicit Continuation Representation
  • Tail sets
  • Hairy function representation
  • ICR representation of non-local exits
  • Block compilation
  • Entry points
  
  
• ICR conversion
  • Canonical forms
  • Inline functions
  • Compilation policy
  • Notes
  
  
• Local call analysis
• Find components
• ICR optimize
  • Goals for ICR optimizations
  • Flow graph simplification
  • Forward ICR optimizations
  • Backward ICR optimizations
  
  
• Type checking
• Constraint propagation
• ICR finalize
• Environment analysis
• Virtual Machine Representation Introduction
• Global TN assignment
• Local TN assignment
• Control optimization
• VMR conversion
  • Stack analysis
  • Non-local exit
  
  
• Copy propagation
• Representation selection
• Lifetime analysis
  • Flow analysis
  • Conflict detection
  
  
• Packing
• Code generation
• Assembly
• Dumping
• User Interface
  • Error Message Utilities
  • Source Paths